V. Svejdar; "On interpretability in the theory of concatenation"